BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2012/newsitem/4473/23-
 May-2012-A|C-seminar-Kohei-Kishida
DTSTAMP:20120510T000000
SUMMARY:A|C seminar, Kohei Kishida
ATTENDEE;ROLE=Speaker:Kohei Kishida
DTSTART;TZID=Europe/Amsterdam:20120523T110000
DTEND;TZID=Europe/Amsterdam:20120523T130000
LOCATION:Room B0.201, Science park 904, Amsterdam
DESCRIPTION:This talk extends Tarski's classical t
 opological semantics for propositional modal logic
  to first-order modal logic, with respect to the f
 ollowing two aspects: (i) It takes a sheaf over a 
 topological space, and shows that such structures 
 (or the category of them) model first-order modal 
 logic by equipping points of the space with domain
 s of individuals. (ii) It is also shown how topolo
 gical semantics extends to the more general case o
 f neighborhood semantics, at the level of sheaf se
 mantics. These extensions provide semantics for th
 e simple unions of first-order logic with S4 modal
  logic and with more general modal logics. Corresp
 onding to the point-set and algebraic formulations
  of Tarski's topological semantics, the semantics 
 of this paper will be presented in both point-set 
 and topos-theoretic formulations.  For more inform
 ation, see http://algcoalg.wordpress.com/.
X-ALT-DESC;FMTTYPE=text/html:\n        <p>This tal
 k extends Tarski's classical topological semantics
 \n        for propositional modal logic to first-o
 rder modal logic, with\n        respect to the fol
 lowing two aspects: (i) It takes a sheaf\n        
 over a topological space, and shows that such stru
 ctures (or\n        the category of them) model fi
 rst-order modal logic by\n        equipping points
  of the space with domains of individuals.\n      
   (ii) It is also shown how topological semantics 
 extends to the\n        more general case of neigh
 borhood semantics, at the level of\n        sheaf 
 semantics.  These extensions provide semantics for
  the\n        simple unions of first-order logic w
 ith S4 modal logic and\n        with more general 
 modal logics.  Corresponding to the\n        point
 -set and algebraic formulations of Tarski's topolo
 gical\n        semantics, the semantics of this pa
 per will be presented in\n        both point-set a
 nd topos-theoretic formulations.</p>\n    \n      
   <p>For more information, see <a target="_blank" 
 href="http://algcoalg.wordpress.com/">http://algco
 alg.wordpress.com/</a>.</p>\n    
URL:/NewsandEvents/Archives/2012/newsitem/4473/23-
 May-2012-A|C-seminar-Kohei-Kishida
END:VEVENT
END:VCALENDAR